Handbook of logic in artificial intelligence and logic programming Vol. 2, Deduction methodologies

Språk
Engelska
Förlag År Ort Om boken ISBN
Clarendon 1994 Storbritannien, Oxford xv, 511 sidor. ill.